翻訳と辞書 Words near each other ・ guarantor ・ guaranty ・ guard ・ guard catalyst ・ guard cell ・ guard cells ・ guard company ・ guard hair ・ guard mother cell ・ guarded ・ Guarded Command Language ・ Guarded Horn Clauses ・ Guardian ・ guardian ・ GUARDIAN ANGEL ・ Guardian Angel ・ Guardian Media Group ・ Guarulhos ・ GUAS ・ Guatemala Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Guarded Command Language ： ウィキペディア日本語版 Guarded Command Language Guarded Command Language（GCL）とは、エドガー・ダイクストラが述語変換意味論向けに定義した言語である == ガード付きコマンド == ガード付きコマンドはGCLの最重要要素である。ガード付きコマンドは名前の通り、ガードが付いている。ガードは一種の命題であり、その文を実行する前に真でなければならない。文の実行前に、そのガードは真であると仮定される。また、ガードが偽であった場合、その文は実行されない。ガード付きコマンドを使うことで、プログラムがその仕様に適合していることを証明することが容易になる。ガード付きコマンドの本体（実行すべき文）がガード付きコマンドになっていることが多い。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Guarded Command Language」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.